Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
861	Verification of Windows NT kernel drivers using Zing model checker Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:46 Procedural programming languages Hardware verification languages Promela Model checking Zing E Tomas Matousek C ALGOL 68 Software engineering Computing Programming language theory
862	Innovative Approach for Requirements Verification of Closed Systems Jose Reis, Critical Software Technologies Brett Bicknell, Critical Software Technologies Michael Butler, University of Southampton John Colley, Universi Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:48:47 Science Software Software requirements Software engineering Model checking Formal verification Software development process Verification B-Method Software development Formal methods Systems engineering
863	A Dynamic Firing Speculation to Speedup Distributed Symbolic State-Space Generation Ming-Ying Chung and Gianfranco Ciardo Department of Computer Science and Engineering University of California at Riverside Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:16 Edmund M. Clarke Init Distributed computing Mathematics Computing Computer science Diagrams Model checking Binary decision diagram
864	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic
865	UNIVERSITY OF CALIFORNIA RIVERSIDE Distributed Symbolic Reachability Analysis A Dissertation submitted in partial satisfaction Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2010-04-18 20:35:33 Applied mathematics Concurrency Models of computation Model checking Graph connectivity Petri net Hash table Reachability Algorithm Theoretical computer science Computing Complexity classes
866	Saturation NOW Ming-Ying Chung and Gianfranco Ciardo Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:52 Algorithm Binary decision diagram Distributed computing Colorfulness Saturation ACT-R Applied mathematics Logic Model checking Mathematics Parallel computing
867	McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III Add to Reading List Source URL: www.erlang.se Language: English - Date: 2006-10-05 09:14:51 Software Ericsson Erlang Model checking Queueing theory Model checkers QuickCheck SPIN model checker Computing Statistics Network performance
868	A Dynamic Firing Speculation to Speedup Distributed Symbolic State-space Generation ∗ Ming-Ying Chung and Gianfranco Ciardo Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:15 Graph theory Network theory Model checking Breadth-first search Mathematics
869	A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 01:16:47 Binary decision diagram Many-valued logic Mathematics Information science Diagrams Boolean algebra Model checking
870	Program Instrumentation and Trace Analysis Klaus Havelund Allen Goldberg Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:21 Cross-platform software Programming paradigms Java Pathfinder Model checking C Java Algorithm Aspect-oriented programming Abstraction Computing Software engineering Software

UPDATE